Książki autorstwa Alexander Leitsch

Znaleziono 1 – 8 z 8 pozycji

1. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   61.50 €

   Kup książkę
2. 

   Resolution Calculus

   Alexander Leitsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   61.50 €

   Kup książkę
3. 

   Automated Model Building

   Ricardo Caferra, Alexander Leitsch, Nicolas Peltier | Springer, 2010

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   186.53 €

   Kup książkę
4. 

   Methods of Cut-Elimination

   Matthias Baaz, Alexander Leitsch | Springer Netherlands, 2013

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   121.29 €

   Kup książkę
5. 

   Resolution Methods for the Decision Problem

   C. Fernmüller, Alexander Leitsch, ammet Tanel | Springer, Berlin, 1993

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   61.50 €

   Kup książkę
6. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer, Berlin, 1997

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   61.50 €

   Kup książkę
7. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   121.29 €

   Kup książkę
8. 

   Methods of Cut-Elimination

   Alexander Leitsch, Matthias Baaz | Springer, 2011

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Twarda

   121.29 €

   Kup książkę

Informujemy Cię o zmianach w statusie zamówienia. Zobacz więcej